// THROW: java.lang.RuntimeException
